2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Introduction to Bisimulation and Coinduction
Автор:
Davide Sangiorgi
Размер книги: 1.28 Mb
Introduction to Bisimulation and Coinduction
Автор:
Davide Sangiorgi
Размер книги: 1.15 Mb
The [pi]-calculus : a theory of mobile processes
Автор:
Davide Sangiorgi; David Walker
Категория:
Cs_Computer science
,
CsF_Formal methods
Размер книги: 5.65 Mb
CONCUR '98, Concurrency Theory, 9 conf
Автор:
Davide Sangiorgi
, Автор:
Robert de Simone
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 7.47 Mb
The Pi Calculus
Автор:
Davide Sangiorgi
, Автор:
David Walker
Размер книги: 17.71 Mb
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Автор:
Rocco De Nicola
, Автор:
Davide Sangiorgi
Размер книги: 5.95 Mb
